例文The assignment axiom states that, after the assignment, any predicate that was previously true for the right-hand side of the assignment now holds for the variable.